Note here:

tests/generics/tgenerics_issues.nim fails.

Note the trace path here.
instantiateBody -> semProcBody -> semExpr -> semSym
->

case s.kind
  of skConst:

->

of tyStatic:
  if typ.n != nil:
    result = typ.n
    result.typ = typ.base
  else:
    result = newSymNode(s, n.info)

there's chance strip out static inside proc semVarOrLet

finally I use PContext determin in which context in semSym

TODO:
result.f = C should work, I get
Error: internal error: genLiteral(nkObjConstr)
Ideally it should work same as const d = C; result.f = d

another idea is put the const value when result default constructing, so doesn't need assign it, also assignment mismatch the semantic